<?php

	require_once("WDMCodegenerator.php");
	require_once("WDMMetaInspector.php");
	require_once("Client/WDMClientCodegenerator.php");
	require_once("Server/WDMServerCodegenerator.php");
?>